Article 10215

Title of the article

ABSTRACT AND STRUCTURAL SYNTHESIS OF DATA PROCESSING SYSTEMS ON THE BASIS OF THE PARADIGM OF MESSAGE TRANSMISSION IN THE DISTRIBUTED ENVIRONMENT OF A COMPUTER NETWORK

Authors

Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, President of Penza State University
(40 Krasnaya street, Penza, Russia), cnit@pnzgu.ru
Dubravin Aleksey Viktorovich, Senior lecturer, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), radamsa@yandex.ru
Zinkin Sergey Aleksandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), zsa49@yandex.ru

Index UDK

681.324

Abstract

Background. The research object is distributed systems of data processing based on the principles, designated as “paradigms” in the article. The considered paradigm, used at designing of intermediate software, oriented towards messaging in the dis-tributed environment. The research subject is the problems of abstract and structural design of distributed network applications based on the logic-algebraic approach and some methods of artificial intelligence. The aim of the work is to improve the design methods of distributed applications on the basis of conceptual, logic and logic-algebraic models, forming the foundation of the technique of distributed program-ming in computer networks based on message transmission.
Materials and methods. The suggested methods allow to develop distributed ap-plications for data processing, corresponding to a certain specifications. For realiza-tion of distributed applications of data processing the authors chose methods that re-quire no special syntactical primitive elements when organizing parallelism in dis-tributed systems. Description and maintenance of parallelism in distributed systems are carried out by means based on the transition from initial conceptual process rep-resentations, based on input rules and conceptual graphs, to immediate programming through direct usage of logic-algebraic expressions as formalized specifications.
Results and conclusions. The suggested new conceptual, logic and logic-algebraic models of distributed calculations in systems with message transmission differ from the knows ones by the relation to a class of the immediately executable (realized), implementation of which allows to reduce working hours at creation of distributed network applications.

Key words

distributed data processing, network environment, conceptual, logic and logic-algebraic models, paradigm of messaging, distributed environment, control and functional intermodule communications.

Download PDF
References

1. Volchikhin V. I., Dubravin A. V., Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2015, no. 1 (33), pp. 60–69.
2. Kh'yuz K., Kh'yuz T. Parallel'noe i raspredelennoe programmirovanie na C++ [Paral-lel and distributed C++ programming]. Moscow: Vil'yams, 2004, 672 p.
3. Tanenbaum E., M. van Steen Raspredelennye sistemy. Printsipy i paradigmy [Distrib-uted systems. Principles and paradigms]. Saint-Petersburg: Piter, 2003, 877 p.
4. Teyz A., Gribomon P., Lui Zh. et al. Logicheskiy podkhod k iskusstvennomu intellektu: ot klassicheskoy logiki k logi-cheskomu programmirovaniyu [Logic approach to artifi-cial intelligence: from classical logic to logical programming]. Moscow: Mir, 1990, 429 p.
5. Sowa J. F. Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices (July 12–15, 1999). Moscow, 1999, pp. 1–65.
6. Delugach H., Stumme G. CharGer: Some Lessons Learned and New Directions. Work-ing with Conceptual Structures: Contributions to ICCS 2000. 2000, pp. 306–309.
7. CharGer Manual. 2005, vol. 3.5, b. 1, pp. 1–58. Available at: http://charger.sourceforge.net (accessed April 4, 2015).
8. Gavrilova T. A., Khoroshevskiy V. F. Bazy znaniy intellektual'nykh sistem [Knowledge bases of intelligence systems]. Saint-Petersburg: Piter, 2001, 384 p.
9. Kotov V. E., Sabel'fel'd V. K. Teoriya skhem programm [Theory of program schemes]. Moscow: Nauka, 1991, 248 p.
10. Lavrov S. S. Programmirovanie. Matematicheskie osnovy, sredstva, teoriya [Program-ming. Mathematical bases, means, theory]. Saint-Petersburg: BKhV-Peterburg, 2001, 320 p.
11. Lomakina L. S., Bazin A. S., Vigura A. N., Kiselev A. V. Teoriya i praktika struktur-nogo testirovaniya programmnykh sistem [Theory and practice of structural testing of software systems]. Voronezh: Nauchnaya kniga, 2013, 220 p.
12. Plesnevich G. S. Iskusstvennyy intellekt: v 3 kn. Kn. 2. Modeli i metody: spravochnik [Artificial intelligence: in 3 books. Book 2. Models and methods: reference book]. Mos-cow: Radio i svyaz', 1990, pp. 14–28.
13. Kurganskiy V. I. Sistemy upravleniya i informatsionnye tekhnologii [Control systems and information technologies]. 2006, no. 3.1 (25), pp. 139–144.
14. Val'kovskiy V. A., Kotov V. E., Marchuk A. G., Mirenkov N. N. Elementy paral-lel'nogo programmirovaniya [Elements of parallel programming]. Moscow: Radio i svyaz', 1983, 240 p.
15. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 3, pp. 13–22.
16. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 4, pp. 37–50.
17. Zinkin S. A. Informatsionnye tekhnologii [Information technologies]. 2008, no. 10, pp. 20–27.
18. Dubravin A. V., Zinkin S. A. Universitetskoe obrazovanie (MKUO-2015): sb. st. XIX Mezhdunar. nauch.-metod. konf., posvyashch. 70-letiyu Pobedy v Velikoy Otechestven-noy voyne (g. Penza, 9–10 aprelya 2015 g.): v 2 t. [University education (MKUO-2015): proceedings of XIX International scientific and methodological conference de-voted to 70th Anniversary of the Victory in the Great Patriotic War (Penza, 9-10 April 2015): in 2 volumes]. Penza: Izd-vo PGU, 2015, vol. 1, pp. 222–225.
19. Dubravin A. V., Zinkin S. A. Universitetskoe obrazova-nie (MKUO-2015): sb. st. XIX Mezhdunar. nauch.-metod. konf., posvyashch. 70-letiyu Pobedy v Velikoy Otechestven-noy voyne (g. Penza, 9–10 aprelya 2015 g.): v 2 t. [University education (MKUO-2015): proceedings of XIX International scientific and methodological conference de-voted to 70th Anniversary of the Victory in the Great Patriotic War (Penza, 9-10 April 2015): in 2 volumes]. Penza: Izd-vo PGU, 2015, vol. 1, pp. 226–228.
20. Dubravin A. V., Zinkin S. A. Optiko-elektronnye pribory i ustroystva v sistemakh raspoznavaniya obrazov, obrabotki izobrazheniy i simvol'noy informatsii (Raspoznavanie-2015): sb. st. XII Mezhdunar. nauch.-tekhn. konf. (g. Kursk, 12–15 maya 2015 g.). [Opto-electronic devices and equipment in systems of image recognition, image processing and symbolic information (Recognition-2015): proceedings of XII International scientific and technical conference (Kursk, 12-15 May 2015)]. Kursk: Izd-vo YuZGU, 2015.

 

Дата создания: 02.10.2015 15:16
Дата обновления: 05.10.2015 13:43